add_executable(case12
    main.cpp
)
